1. مبانی نظریه محاسبات ( نظریه زبانها و ماشینها )
پدیدآورنده: / تالیف هری لویس، کریستوز پاپادیمیترو,لوئیس,Lewis
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (تهران)
موضوع: نظریه ماشین,منطق جدید,پیچیدگی محاسباتی,منطق جدید
رده :
QA
۲۶۷
/
ل
۹
م
۲ ۱۳۸۵

2. مبانی نظریه محاسبات ( نظریه زبانهاو ماشینها)
پدیدآورنده: / تالیف هری لویس، کریستوز پاپادیمیترو,Elements of the theory of compution, 2nd.ed ,c1998.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اراک (مرکزی)
موضوع: نظریه ماشین,منطق جدید,پیچیدگی محاسباتی,aمنطق جدید
رده :
۵۱۱
/
۳
ل
۸۲۳
م
۲
ریو

